package domains;

import java.util.Set;

import controlFlowGraph.Variable;

public class TrulyLiveVariables extends AnalysisDomain {
	
	private Set<Variable> variableSet;
	
	public TrulyLiveVariables(Set<Variable> info){
		this.variableSet = info;
	}
	
	public Set<Variable> getTrulyLiveVar(){
		return this.variableSet;
	}
	
	@Override
	public boolean equals(Object obj) {
		if (obj instanceof TrulyLiveVariables) {
			TrulyLiveVariables other = (TrulyLiveVariables) obj;
			return other.getTrulyLiveVar().equals(this.getTrulyLiveVar());
		}
		return false;
	}

}
